Issue503.agda:42,1-43,57
Termination checking failed for the following functions:
  div
Problematic calls:
  div (m - n) n
    (at Issue503.agda:43,43-46)
